What is Declarative Programming
dev.to·1d·
Discuss: DEV
🧩Constraint Logic
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·6h
📋Backus-Naur Form
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Meditations on geometric packing
shvbsle.in·20h
🌊Effect Rows
Flag this post
Show HN: Onlymaps, a Python Micro-ORM
github.com·14h·
🗃️Query Compilation
Flag this post
Beyond the Changelog: Engineering Your Blog for B2B Thought Leadership
getmichaelai.com·17h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
🎭Program Synthesis
Flag this post
Discovering physical laws with parallel symbolic enumeration
nature.com·1d
🔍ML Language
Flag this post
Global Optimization: Finding the Needle in a Haystack – Faster by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🔍Search Algorithms
Flag this post
Weekly Bookmarks
inkdroid.org·46m
🪢Rope Data Structures
Flag this post
The Machine Learning Roadmap
github.com·7h·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Build AI Assistants using Large Language Models and Agents to Enhance the Engineering Education of Biomechanics
arxiv.org·2d
🎭Racket
Flag this post
I use these 3 Excel formulas to organize my daily life
howtogeek.com·16h
🔀SSA Form
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·9h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
🎭Program Synthesis
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🔍ML Language
Flag this post
Top WordPress Alternatives
notwp.com·8h·
Discuss: Hacker News
🥾Bootstrapping Strategies
Flag this post